Idziak, Paweł: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences

Paweł M. Idziak

Journal:

Algebra Universalis

Year:

1989

Language:

english

File:

PDF, 596 KB

english, 1989

2

10.1090/s0002-9947-97-01904-1

Idziak, Paweł M.

Journal:

Transactions of the American Mathematical Society

Year:

1997

Language:

english

File:

PDF, 466 KB

english, 1997

3

Polynomial interpolation in expanded groups

Erhard Aichinger, Paweł M. Idziak

Journal:

Journal of Algebra

Year:

2004

Language:

english

File:

PDF, 440 KB

english, 2004

4

THE STRUCTURE OF LOCALLY FINITE VARIETIES WITH POLYNOMIALLY MANY MODELS

PAWEL IDZIAK, RALPH MCKENZIE and MATTHEW VALERIOTE

Journal:

Journal of the American Mathematical Society

Year:

2009

Language:

english

File:

PDF, 3.77 MB

english, 2009

5

A Characterization of Finitely Decidable Congruence Modular Varieties

Pawel M. Idziak

Journal:

Transactions of the American Mathematical Society

Year:

1997

Language:

english

File:

PDF, 3.51 MB

english, 1997

6

Varieties with few subalgebras of powers

Berman, Joel, Idziak, Paweł, Marković, Petar, McKenzie, Ralph, Valeriote, Matthew, Willard, Ross

Journal:

Transactions of the American Mathematical Society

Year:

2009

Language:

english

File:

PDF, 400 KB

english, 2009

7

[IEEE 2014 IEEE 8th International Conference on Self-Adaptive and Self-Organizing Systems (SASO) - London, United Kingdom (2014.9.8-2014.9.12)] 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems - Dynamic Adaptation of the Traffic Management System CarDemo

Cordier, Arnaud, Domingues, Remi, Labaere, Anthony, Noel, Nicolas, Thiery, Adrien, Cerqueus, Thomas, Clarke, Siobhan, Idziak, Pawel, Song, Hui, Perry, Philip, Ventresque, Anthony

Year:

2014

Language:

english

File:

PDF, 217 KB

english, 2014

8

CLONES CONTAINING MAL'TSEV OPERATIONS

IDZIAK, PAWEŁ M.

Journal:

International Journal of Algebra and Computation

Year:

1999

Language:

english

File:

PDF, 607 KB

english, 1999

9

The commutator in equivalential algebras and Fregean varieties

Paweł M. Idziak, Katarzyna Słomczyńska, Andrzej Wroński

Journal:

Algebra Universalis

Year:

2011

Language:

english

File:

PDF, 257 KB

english, 2011

10

FREGEAN VARIETIES

IDZIAK, PAWEŁ, SŁOMCZYŃSKA, KATARZYNA, WROŃSKI, ANDRZEJ

Journal:

International Journal of Algebra and Computation

Year:

2009

Language:

english

File:

PDF, 639 KB

english, 2009

11

[IEEE 2017 International Symposium on Electrical Machines (SME) - Naleczow, Poland (2017.6.18-2017.6.21)] 2017 International Symposium on Electrical Machines (SME) - Influence of the structure of electrical machine rotor for the stator deformations during operation

Year:

2017

Language:

english

File:

PDF, 413 KB

english, 2017

12

Use of cross-compiling in the programming of an intelligent device for measuring electrical quantities

Przybylski, Jakub, Idziak, Paweł, Nawrowski, R., Lorenc, J., Nadolny, Z., Tomczewski, A., Jajczyk, J., Kasprzyk, L., Bugała, A., Budnik, K.

Journal:

ITM Web of Conferences

Year:

2018

Language:

english

File:

PDF, 276 KB

english, 2018

13

[IEEE 2018 14th Selected Issues of Electrical Engineering and Electronics (WZEE) - Szczecin, Poland (2018.11.19-2018.11.21)] 2018 14th Selected Issues of Electrical Engineering and Electronics (WZEE) - Impact of Rotor Design on Motion Properties of a Synchronized Induction Motor

Idziak, Pawel, Kowalski, Krzysztof

Year:

2018

Language:

english

File:

PDF, 1.69 MB

english, 2018

14

A DIRECTLY REPRESENTABLE VARIETY HAS A DISCRETE FIRST-ORDER LAW

BURRIS, STANLEY, IDZIAK, PAWEL

Journal:

International Journal of Algebra and Computation

Year:

1996

Language:

english

File:

PDF, 312 KB

english, 1996

15

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Tractability and learnability arising from algebras with few subpowers

Idziak, Pawel, Markovic, Petar, McKenzie, Ralph, Valeriote, Matthew, Willard, Ross

Year:

2007

Language:

english

File:

PDF, 238 KB

english, 2007

16

Natural dualities for quasivarieties generated by a finite commutative ring

David M. Clark, Pawel M. Idziak, Lousindi R. Sabourin, Csaba Szabó, Ross Willard

Journal:

Algebra Universalis

Year:

2001

Language:

english

File:

PDF, 266 KB

english, 2001

17

Decidability problem for finite Heyting algebras

Idziak, Katarzyna, Idziak, Pawel M.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 515 KB

english, 1988

18

Tractability and Learnability Arising from Algebras with Few Subpowers

Idziak, PaweŁ, Marković, Petar, McKenzie, Ralph, Valeriote, Matthew, Willard, Ross

Journal:

SIAM Journal on Computing

Year:

2010

Language:

english

File:

PDF, 240 KB

english, 2010

19

Counting Mal'tsev clones on small sets

Andrei A. Bulatov, Paweł M. Idziak

Journal:

Discrete Mathematics

Year:

2003

Language:

english

File:

PDF, 225 KB

english, 2003

20

Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties

Pawel M. Idziak

Journal:

Algebra Universalis

Year:

1988

Language:

english

File:

PDF, 917 KB

english, 1988

21

Undecidability of relatively free Hilbert algebras

Paweł M. Idziak

Journal:

Algebra Universalis

Year:

1988

Language:

english

File:

PDF, 478 KB

english, 1988

22

[IEEE 2018 14th Selected Issues of Electrical Engineering and Electronics (WZEE) - Szczecin, Poland (2018.11.19-2018.11.21)] 2018 14th Selected Issues of Electrical Engineering and Electronics (WZEE) - Impact of Rotor Design on Motion Properties of a Synchronized Induction Motor

Idziak, Pawel, Kowalski, Krzysztof

Year:

2018

File:

PDF, 1.69 MB

2018

23

COUNTING FINITE ALGEBRAS IN THE POST VARIETIES

BERMAN, JOEL, IDZIAK, PAWEŁ

Journal:

International Journal of Algebra and Computation

Year:

2000

Language:

english

File:

PDF, 253 KB

english, 2000

24

Smart air purifier suitable for small public spaces

Idziak, Pawel, Gojtowski, Michal, Nawrowski, R., Lorenc, J., Nadolny, Z., Tomczewski, A., Jajczyk, J., Kasprzyk, L., Bugała, A., Budnik, K.

Journal:

ITM Web of Conferences

Year:

2019

Language:

english

File:

PDF, 223 KB

english, 2019

25

[IEEE 2014 IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW) - Imperial College, London, United Kingdom (2014.9.8-2014.9.12)] 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops - An Analysis of Decision-Making Techniques in Dynamic, Self-Adaptive Systems

Idziak, Pawel, Clarke, Siobhan

Year:

2014

Language:

english

File:

PDF, 175 KB

english, 2014

26

Varieties with decidable finite algebras I: Linearity

PaweŁ M. Idziak

Journal:

Algebra Universalis

Year:

1989

Language:

english

File:

PDF, 560 KB

english, 1989

27

Polynomially rich algebras

Paweł M. Idziak, Katarzyna Słomczyńska

Journal:

Journal of Pure and Applied Algebra

Year:

2001

Language:

english

File:

PDF, 250 KB

english, 2001

28

Varieties with decidable finite algebras II: Permutability

PaweŁ M. Idziak

Journal:

Algebra Universalis

Year:

1989

Language:

english

File:

PDF, 338 KB

english, 1989

29

Dualizability and graph algebras

Brian A. Davey, Paweł M. Idziak, William A. Lampe, George F. McNulty

Journal:

Discrete Mathematics

Year:

2000

Language:

english

File:

PDF, 216 KB

english, 2000

30

FE transient analysis of the magnetostrictive actuator

Idziak, Paweƚ, Kowalski, Krzysztof, Nowak, Lech, Knypiński, Ƚukasz, Di Barba, Paolo, Wiak, Sƚawomir

Journal:

International Journal of Applied Electromagnetics and Mechanics

Year:

2016

Language:

english

File:

PDF, 1020 KB

english, 2016

31

Definable principal congruences and solvability

Paweł M. Idziak, Keith A. Kearnes, Emil W. Kiss, Matthew A. Valeriote

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 1.10 MB

english, 2009

32

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Satisfiability in multi-valued circuits

Idziak, Paweł M., Krzaczkowski, Jacek

Year:

2018

Language:

english

File:

PDF, 757 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски